<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<workcraft-plugins>
  <plugin class="org.workcraft.plugins.circuit.CircuitModule" displayName="CircuitModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.BuiltinExporters" displayName="BuiltinExporters">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.BuiltinFileHandlers" displayName="BuiltinFileHandlers">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.BuiltinSerialisers" displayName="BuiltinSerialisers">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.BuiltinTools" displayName="BuiltinTools">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.cpog.CpogModule" displayName="CpogModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.stg.STGModule" displayName="STGModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.petri.PetriNetModule" displayName="PetriNetModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.mpsat.MpsatModule" displayName="MpsatModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.graph.GraphModule" displayName="GraphModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.petrify.PetrifyModule" displayName="PetrifyModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.dfs.DfsModule" displayName="DfsModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.policy.PolicyNetModule" displayName="PolicyNetModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.son.SONModule" displayName="SONModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.xmas.XmasModule" displayName="XmasModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <plugin class="org.workcraft.plugins.fsm.FsmModule" displayName="FsmModule">
    <interface name="org.workcraft.Module"/>
    <interface name="org.workcraft.Plugin"/>
  </plugin>
  <version value="d971444cbd86148695f3427118632aca"/>
</workcraft-plugins>
